Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Higher-Order Indistinguishability Logic for Cryptographic Reasoning

Subjects: Security protocol analysis; Computational indistinguishability; Logic and verificationBoston; United StatesBoston, United States

  • Source: LICS ; https://inria.hal.science/hal-03981949 ; LICS, Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175781⟩

تفاصيل العنوان

×
Conference

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

Subjects: Security Protocols Automated Deduction Decision Procedure Computational Indistinguishability; Security Protocols; Automated DeductionHoboken; France

  • Source: 2019 IEEE 32nd Computer Security Foundations Symposium (CSF)https://inria.hal.science/hal-043926102019 IEEE 32nd Computer Security Foundations Symposium (CSF), Jun 2019, Hoboken, France.

تفاصيل العنوان

×

Decidability of a Sound Set of Inference Rules for Computational Indistinguishability

Subjects: Theoretical computer science; General Computer Science; Logic

  • Source: ACM Transactions on Computational LogicACM Transactions on Computational Logic, Association for Computing Machinery, 2021, 22 (1), pp.1-44. ⟨10.1145/3423169⟩CSFACM Transactions

تفاصيل العنوان

×

Polynomial Multiplication in NTRU Prime: Comparison of Optimization Strategies on Cortex-M4

Subjects: Authentication; Computer science; NTRU

  • Source: Alkim, E, Cheng, D Y-L, Chung, C-M M, Evkan, H, Huang, L W-L, Hwang, V, Li, C-L T, Niederhagen, R, Shih, C-J, Wälde, J & Yang, B-Y 2021, ' Polynomial Multiplication in NTRU Prime-Comparison of

تفاصيل العنوان

×
  • 1-10 of  79 نتائج ل ""Indistinguishability""